Andrea Asperti: przeszukaj witrynę Z-Library

Darowizna 15 września 2024 – 1 października 2024 O zbieraniu funduszy

Swobodny dostęp do wiedzy i kultury.

Darowizna 15 września 2024 – 1 października 2024

Z-Library to jedna z największych bibliotek internetowych na świecie, w której znajduje się więcej 17,000,000 książek i 84,837,000 artykułów. Staramy się, aby literatura była dostępna dla każdego. Dziś (15 września 2024) otwieramy kolejną zbiórkę darowizn na wsparcie i rozwój projektu.

Również BEZLIMITOWE pobrania (w ciągu 31 dni od dnia przekazania darowizny) są dostępne dla WSZYSTKICH użytkowników, którzy będą wspierać projekt w okresie zbierania funduszy do 1 października 2024.

O zbieraniu funduszyWięcej szczegółów

Wesprzyj darowizną

Książki (22)
Najbardziej popularne
Spis
- Spis
- Tablica

1

Categories, types, and structures. Introduction to category theory for computer scientists

Categories, types, and structures. Introduction to category theory for computer scientists

Andrea Asperti, Giuseppe Longo

Rok:

1991

Język:

english

Plik:

PDF, 2.41 MB

0 / 0

english, 1991

2

The optimal implementation of functional programming languages

The optimal implementation of functional programming languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

Rok:

1999

Język:

english

Plik:

PDF, 3.38 MB

0 / 0

english, 1999

3

Logica a informatica

Logica a informatica

Andrea Asperti, Agata Ciabattoni

Rok:

1997

Język:

italian

Plik:

PDF, 909 KB

0 / 0

italian, 1997

4

Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)

Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)

Andrea Asperti, Giuseppe Longo

Rok:

1991

Język:

english

Plik:

PDF, 1.60 MB

0 / 3.0

english, 1991

5

Categories, types, and structures : an introduction to category theory for the working computer scientist

Categories, types, and structures : an introduction to category theory for the working computer scientist

Rok:

1991

Język:

english

Plik:

PDF, 1.60 MB

0 / 5.0

english, 1991

6

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

Rok:

1998

Język:

english

Plik:

PDF, 3.38 MB

0 / 0

english, 1998

7

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)

Rok:

1995

Język:

english

Plik:

DJVU, 3.54 MB

0 / 0

english, 1995

8

Categories, types, and structures : an introduction to category theory for the working computer scientist

Categories, types, and structures : an introduction to category theory for the working computer scientist

Rok:

1991

Język:

english

Plik:

PDF, 39.09 MB

0 / 4.5

english, 1991

9

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Andrea Asperti, Stefano Guerrini

Rok:

1999

Język:

english

Plik:

AZW3 , 2.47 MB

0 / 0

english, 1999

10

Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings

Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams, James H. Davenport (auth.), Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.)

Rok:

2004

Język:

english

Plik:

PDF, 3.73 MB

0 / 0

english, 2004

11

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Wilmer Ricciotti (auth.), Luke Ong, Ruy de Queiroz (eds.)

Rok:

2012

Język:

english

Plik:

PDF, 3.74 MB

0 / 0

english, 2012

12

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

Rok:

1998

Język:

spanish

Plik:

PDF, 3.35 MB

0 / 0

spanish, 1998

13

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

Rok:

1998

Język:

english

Plik:

LIT , 2.17 MB

0 / 0

english, 1998

14

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

Rok:

1998

Język:

english

Plik:

FB2 , 3.35 MB

0 / 0

english, 1998

15

The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

Cambridge University Press

Andrea Asperti, Stefano Guerrini

Rok:

1998

Język:

english

Plik:

MOBI , 2.46 MB

0 / 0

english, 1998

16

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams (auth.), Andrea Asperti, Bruno Buchberger, James Harold Davenport (eds.)

Rok:

2003

Język:

english

Plik:

PDF, 2.02 MB

0 / 0

english, 2003

17

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Cosimo Laneve (auth.), Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow (eds.)

Rok:

1994

Język:

english

Plik:

DJVU, 2.66 MB

0 / 0

english, 1994

18

Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings

Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams, James H. Davenport (auth.), Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.)

Rok:

2004

Język:

english

Plik:

PDF, 7.54 MB

0 / 0

english, 2004

19

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Wilmer Ricciotti (auth.), Luke Ong, Ruy de Queiroz (eds.)

Rok:

2012

Język:

english

Plik:

PDF, 3.72 MB

0 / 0

english, 2012

20

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams (auth.), Andrea Asperti, Bruno Buchberger, James Harold Davenport (eds.)

Rok:

2003

Język:

english

Plik:

PDF, 2.91 MB

0 / 0

english, 2003

21

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew A. Adams (auth.), Andrea Asperti, Bruno Buchberger, James Harold Davenport (eds.)

Rok:

2003

Język:

english

Plik:

PDF, 2.54 MB

0 / 0

english, 2003

22

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)

Rok:

1995

Język:

english

Plik:

PDF, 6.89 MB

0 / 0

english, 1995